对"民工荒"现象的剖析

文章针对2004年我国一些地方相继出现的进城农民工短缺的现象,分析了产生民工短缺现象的主要原因,探讨了这一现象在现实社会中的自身价值, 并提出了解决这一问题的具体对策.     

具有不确定性需求的供应链牛鞭效应的随机控制

在供应链的多层动态库存模型基础上 ,研究了顾客端不确定性需求是白噪声 ,以及其更复杂情况有色噪声条件下的供应链模型·并针对在不同的顾客不确定需求环境 ,采用随机控制理论对供应链中牛鞭效应进行了抑制控制的研究·同时以一个石油分销系统为对象进行了供应链牛鞭效应的随机控制仿真实验 ,实验表明牛鞭效应受到了抑制     

我国教育产业结构的现状、原因与对策

教育不是消费,而是投资;教育业不是社会福利事业,而是一种产业。作为一种产业,它也应有一个合理的结构。我国当前的教育产业结构已明显失衡,主要表现在:初、中、高等教育发展不平衡,中等与高等教育单一化,高等教育内部层次结构与专业结构不合理,以及对师资要求脱离国情等几个方面。造成这种现象的原因有认识上的错误、投资的风险性、财政投入不足及市场失灵等。     

需求侧管理在企业照明节电中的应用

简述了需求侧管理应用于企业照明节电的意义和方法 ,特别介绍了采用电子表格Excel进行照明装置改造后的效益计算的方法 ,以企业照明实际数据说明采用需求侧管理给电力用户、电力企业及全社会带来的利益     

现代集成家具制造系统

借鉴现代集成制造哲理在机械行业的成功经验，分析中国家具行业的生产、管理等特点，从现代家具企业集成制造的实际需要出发，提出了在中国家具行业实施现代集成家具制造系统的基本框架。并对此项目的集成方法和思路等关键问题进行了讨论，提出了关注企业物流，实现以基于Web数据库为基础把企业资源管理系统融进集成系统的新的企业集成见解。本文对家具行业快速有效实施现代集成制造提供了一个新思路。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

供需网环境下企业动态结构建模研究

针对传统供应链管理中存在的弊端，提出了多功能开放型供需网概念，在此基础上分析了多功能开放型企业供需网环境下企业动态结构的需求与特点，并建立了基于Multi-agent的企业动态结构及其协作模型．在此动态结构及协作模型中，系统的构成单元具有决策智能、自治、自组织和协作能力，支持企业动态重构，从而使企业具有以内部变化适应外部快速变化的能力．     

校园网视频点播系统的构建与实现

校园网视频点播系统能极大地方便师生实现自我学习,是一种现代化教育手段。使用流媒体技术能较好地解决视频点播问题,是流媒体技术典型的应用之一。笔者经过实践,并结合高校校园网的特点,构建出一套基于RealMedia流媒体技术的视频点播系统及具体的实现过程,能充分发挥RealMedia流媒体技术和校园网的优势。     

对我国上市公司关联交易的信息披露的思考

从我国证券市场上控股股东与上市公司之间产生关联交易的原因入手，论述了在我国上市公司披露关联交易信息的重要性和可能性，进一步分析了我国目前上市公司关联交易信息披露存在的主要问题，并提出了解决这些问题的途径。     

论网络环境下高校图书馆用户需求的满足

从网络环境下高校图书馆信息用户的需求特点入手。分析了现阶段高校图书馆在传统文献服务、电子文献资源的利用、网络资源开发及信息咨询服务等方面存在的问题和障碍，并有针对性地提出了解决这些问题和障碍的对策和途径。